% Fold 1
/*
example(e391).
example(e370).
example(e65).
example(e17).
example(e331).
example(e362).
example(e56).
example(e130).
example(e81).
example(e40).
example(e444).
example(e63).
example(e504).
example(e565).
example(e473).
example(e29).
example(e240).
example(e610).
example(e567).
example(e220).
example(e272).
example(e206).
example(e243).
example(e339).
example(e491).
example(e454).
*/

% Fold 2


example(e107).
example(e223).
example(e306).
example(e471).
example(e633).
example(e320).
example(e80).
example(e325).
example(e505).
example(e332).
example(e631).
example(e406).
example(e518).
example(e103).
example(e361).
example(e139).
example(e333).
example(e643).
example(e138).
example(e114).
example(e603).
example(e257).
example(e489).
example(e586).

% Fold 3

example(e503).
example(e323).
example(e551).
example(e242).
example(e386).
example(e598).
example(e275).
example(e389).
example(e241).
example(e125).
example(e353).
example(e164).
example(e48).
example(e359).
example(e597).
example(e301).
example(e686).
example(e371).
example(e236).
example(e650).
example(e584).
example(e46).
example(e381).
example(e527).
example(e11).
example(e118).
example(e623).
example(e385).
example(e314).

% Fold 4

example(e6).
example(e28).
example(e288).
example(e39).
example(e688).
example(e413).
example(e486).
example(e235).
example(e469).
example(e57).
example(e589).
example(e685).
example(e344).
example(e256).
example(e543).
example(e248).
example(e467).
example(e536).
example(e150).
example(e674).
example(e66).
example(e196).
example(e183).
example(e680).
example(e16).
example(e368).
example(e287).
example(e221).
example(e620).
example(e253).
example(e106).
example(e201).

% Fold 5

example(e230).
example(e308).
example(e172).
example(e131).
example(e424).
example(e488).
example(e394).
example(e462).
example(e179).
example(e418).
example(e487).
example(e540).
example(e560).
example(e229).
example(e525).
example(e466).
example(e514).
example(e163).
example(e321).
example(e264).
example(e582).
example(e116).
example(e683).
example(e147).
example(e613).
example(e622).
example(e5).
example(e231).
example(e250).
example(e575).
example(e18).
example(e506).
example(e343).


% Fold 6

example(e594).
example(e34).
example(e184).
example(e102).
example(e457).
example(e375).
example(e157).
example(e168).
example(e234).
example(e438).
example(e611).
example(e197).
example(e660).
example(e249).
example(e12).
example(e349).
example(e212).
example(e265).
example(e497).
example(e664).
example(e409).
example(e472).
example(e395).
example(e661).
example(e479).
example(e498).


% Fold 7

example(e377).
example(e121).
example(e602).
example(e562).
example(e552).
example(e588).
example(e4).
example(e60).
example(e517).
example(e402).
example(e38).
example(e144).
example(e347).
example(e651).
example(e415).
example(e324).
example(e460).
example(e427).
example(e376).
example(e180).
example(e345).
example(e268).
example(e446).
example(e26).
example(e37).
example(e140).
example(e439).
example(e185).
example(e605).
example(e96).
example(e519).
example(e640).
example(e414).
example(e117).
example(e127).

% Fold 8

example(e485).
example(e434).
example(e608).
example(e453).
example(e20).
example(e422).
example(e124).
example(e458).
example(e31).
example(e346).
example(e492).
example(e689).
example(e431).
example(e420).
example(e50).
example(e322).
example(e192).
example(e501).
example(e496).
example(e315).
example(e274).
example(e295).
example(e255).
example(e337).
example(e407).
example(e441).
example(e447).
example(e500).
example(e390).
example(e151).
example(e654).
example(e671).
example(e690).
example(e43).
example(e120).
example(e558).
example(e228).
example(e566).
example(e89).
example(e129).
example(e524).
example(e672).
example(e521).
example(e616).

% Fold 9

example(e573).
example(e499).
example(e293).
example(e262).
example(e600).
example(e41).
example(e30).
example(e258).
example(e211).
example(e104).
example(e436).
example(e663).
example(e642).
example(e100).
example(e94).
example(e625).
example(e286).
example(e657).
example(e576).
example(e8).
example(e216).
example(e675).
example(e203).
example(e205).
example(e146).
example(e156).
example(e538).


% Fold 10

example(e539).
example(e481).
example(e75).
example(e592).
example(e280).
example(e534).
example(e421).
example(e70).
example(e348).
example(e615).
example(e109).
example(e583).
example(e604).
example(e119).
example(e175).
example(e351).
example(e388).
example(e14).
example(e380).
example(e86).
example(e464).
example(e59).
example(e294).
example(e155).
example(e74).
example(e326).
example(e299).
example(e279).
example(e318).
example(e159).
example(e88).
